Categoricity transfer in simple finitary abstract elementary classes
نویسندگان
چکیده
We continue to study nitary abstract elementary classes, de ned in [7]. We introduce a concept of weak κ -categoricity and an f-primary model in a א0 -stable simple nitary AEC with the extension property, and gain the following theorem: Let (K,4K) be a simple nitary AEC, weakly categorical in some uncountable κ . Then (K,4K) is weakly categorical in each λ ≥ min{κ,i(2א0 )+} . We have that if the class (K,4K) is also LS(K) -tame, weak κ -categoricity is equivalent with κ -categoricity in the usual sense. We also discuss the relation between nitary AECs and some other non-elementary frameworks and give several examples.
منابع مشابه
Shelah's categoricity conjecture from a successor for tame abstract elementary classes
We prove a categoricity transfer theorem for tame abstract elementary classes. Theorem 0.1. Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ,LS(K)}. If K is categorical in λ and λ, then K is categorical in λ. Combining this theorem with some results from [Sh 394], we derive a form o...
متن کاملCategoricity and Stability in Abstract Elementary Classes
Categoricity and Stability in Abstract Elementary Classes byMonica M. VanDieren This thesis tackles the classification theory of non-elementary classes from twoperspectives. In Chapter II we work towards a categoricity transfer theorem, whileChapter III focuses on the development of a stability theory for abstract elementaryclasses (AECs).The results in Chapter II are in a c...
متن کاملAbstract Elementary Classes Motivations and Directions
Elementary Classes Motivations and Directions John T. Baldwin Why AEC? Categoricity and Complex Exponentiation Excellence– Generalized Amalgamation Eventual Categoricity Core Mathematics again Abstract Elementary Classes Motivations and Directions
متن کاملA Downward Categoricity Transfer for Tame Abstract Elementary Classes
We prove a downward transfer from categoricity in a successor in tame abstract elementary classes (AECs). This complements the upward transfer of Grossberg and VanDieren and improves the Hanf number in Shelah’s downward transfer (provided the class is tame). Theorem 0.1. Let K be an AEC with amalgamation. If K is LS(K)-weakly tame and categorical in a successor λ ≥ i(2LS(K))+ , then K is catego...
متن کاملCategoricity in Abstract Elementary Classes with No Maximal Models
The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 76 شماره
صفحات -
تاریخ انتشار 2011